291![UNIVERSITY OF TORONTO FRAMEWORK TO ADDRESS ALLEGATIONS OF RESEARCH MISCONDUCT Revised Effective January 1, PREAMBLE UNIVERSITY OF TORONTO FRAMEWORK TO ADDRESS ALLEGATIONS OF RESEARCH MISCONDUCT Revised Effective January 1, PREAMBLE](https://www.pdfsearch.io/img/4347fceed8c5c1332eccc5fb6478edd2.jpg) | Add to Reading ListSource URL: www.sgs.utoronto.caLanguage: English - Date: 2014-06-11 12:46:17
|
---|
292![Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute](https://www.pdfsearch.io/img/e43084b404f206b46e1fe5530c0e0504.jpg) | Add to Reading ListSource URL: scungao.github.ioLanguage: English - Date: 2018-09-27 16:37:21
|
---|
293![Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research](https://www.pdfsearch.io/img/eb4d34ffc61f33ccbc3a0cdde7dd663b.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2012-02-28 13:28:34
|
---|
294![Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin. Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.](https://www.pdfsearch.io/img/c6f2daaadb9270e178855998d3b01627.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
295![Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient](https://www.pdfsearch.io/img/2d4c9cbafb6de9bd3e3dc1bfb5ee7533.jpg) | Add to Reading ListSource URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.comLanguage: English - Date: 2014-11-03 11:28:51
|
---|
296![Cryptology and Its Applications Nordic Research Training course, Bergen Zero knowledge and some applications Helger Lipmaa Cryptology and Its Applications Nordic Research Training course, Bergen Zero knowledge and some applications Helger Lipmaa](https://www.pdfsearch.io/img/056aba37c764fcc8ab89fa70c38afd0b.jpg) | Add to Reading ListSource URL: kodu.ut.eeLanguage: English - Date: 2008-09-12 11:33:08
|
---|
297![Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨ Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨](https://www.pdfsearch.io/img/5e347171801d1ea9f4494bd21eed799f.jpg) | Add to Reading ListSource URL: www.microsoft.comLanguage: English - Date: 2018-01-04 03:04:14
|
---|
298![AP: Artificial Programming Rishabh Singh1 and Pushmeet Kohli1 1 Cognition Group, Microsoft Research , AP: Artificial Programming Rishabh Singh1 and Pushmeet Kohli1 1 Cognition Group, Microsoft Research ,](https://www.pdfsearch.io/img/2114edbbb4d42014c6d7e807fa8307ab.jpg) | Add to Reading ListSource URL: rishabhmit.bitbucket.ioLanguage: English - Date: 2018-06-25 09:59:57
|
---|
299![The State of Internet Censorship in Egypt A research study by: Open Observatory of Network Interference (OONI) Association for Freedom of Thought and Expression (AFTE) The State of Internet Censorship in Egypt A research study by: Open Observatory of Network Interference (OONI) Association for Freedom of Thought and Expression (AFTE)](https://www.pdfsearch.io/img/17c591ccaa10b3def4392f782c9ef4b9.jpg) | Add to Reading ListSource URL: ooni.torproject.orgLanguage: English - Date: 2018-10-19 07:05:34
|
---|